منابع مشابه
Unification and Default Unification
Unification of (typed) feature structures is an important tool for capturing linguistic generalizations. It is the core of a family of linguistic formalisms, it has been applied in phonology, morphology, syntax, and semantics, and is dominant in most linguistically informed work in natural language processing. Unification monotonically merges information. Default unification provides a non-mono...
متن کاملAbductive Expansion: Abductive Inference and the Process of Belief Change
Unlike the AGM framework of belief revision, where new information is added to the current belief state as it is (while attempting to preserve logical consistency), we model the following more natural proposal: agents seek a justiication (explanation) for the new information before \accepting" it and incorporate this justiication into their current belief state together with the new information...
متن کاملAbductive Expansion: Abductive Inference and the Process of Belief Changey
Unlike the AGM framework of belief revision, where new information is added to the current belief state as it is (while attempting to preserve logical consistency), we model the following more natural proposal: agents seek a justiication (explanation) for the new information before \accepting" it and incorporate this justiication into their current belief state together with the new information...
متن کاملAbductive generalization and specialization
This chapter introduces new techniques called abductive generalization and abductive specialization in logic programs. Abductive generalization enables us to abduce not only specific facts but general rules accounting for positive observations. It is achieved by generalizing abductive explanations and incorporating them in a knowledge base. On the other hand, abductive specialization refines a ...
متن کاملCreativity: Surprise and abductive reasoning
This paper investigates creativity focusing on the nature of abductive reasoning, as originally formulated by Peirce, situating it in the context of the theory of self-organization. An ancient question will be addressed: is it appropriate to investigate creative processes from a mechanistic perspective or do they involve subjective elements which cannot in principle be investigated from a mecha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: THEORIA. An International Journal for Theory, History and Foundations of Science
سال: 2016
ISSN: 2171-679X,0495-4548
DOI: 10.1387/theoria.13084